block proving

闭塞检查